https://dasbestelexikon.de/en/wiki/Earth_Rotation_Angle